Public Announcement Logic in Geometric Frameworks
نویسنده
چکیده
In this paper, we introduce public announcement logic in different geometric frameworks. First, we consider topological models, and then extend our discussion to a more expressive model, namely, subset spacemodels. Furthermore,we prove the completeness of public announcement logic in those frameworks. After that, we apply our results to different issues: announcement stabilization, backward induction and persistence.
منابع مشابه
Geometric Public Announcement Logics
In this paper, we consider public announcement logic (PAL, henceforth) in several different geometric models, and prove its completeness of those models. Moreover, we also consider some applications of our ideas in different fields varying from game theory to epistemic logic. What makes our work novel is the fact that PAL has never been investigated in geometric and topological models with furt...
متن کاملPositive Announcements
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement logic called positive arbitrary public announcement logic (APAL), which restricts arbitrary public announcements to announcement of positive formu...
متن کاملQuantifying over boolean announcements
Various extensions of public announcement logic have been proposed with quantification over announcements. The best-known extension is called arbitrary public announcement logic, APAL. It contains a primitive language construct ✷φ intuitively expressing that “after every public announcement of a formula, formula φ is true.” The logic APAL is undecidable and it has an infinitary axiomatization. ...
متن کاملPublic Announcement Logics with Constrained Protocols
Public announcement logic (PAL) is a paradigm case of dynamic epistemic logic, which models how agents’ epistemic states change when pieces of information are communicated publicly. PAL extends epistemic logic with the operator [A], where the intended reading of [A]φ is “After a public announcement that A, φ holds.” This logic has recently received two improvements. One improvement, studied in ...
متن کاملBilattice Public Announcement Logic
Building on recent work on bilattice modal logic and extensions of public announcement logic to a non-classical setting, we introduce a dynamic epistemic logic having the logic of modal bilattices as propositional support. Bilattice logic is both inconsistency-tolerant and paracomplete, thus suited for applications in contexts with multiple sources of information, where one may have to deal wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Fundam. Inform.
دوره 118 شماره
صفحات -
تاریخ انتشار 2012